openocd -f /usr/share/openocd/scripts/board/st_nucleo_f7.cfg
openocd -f board/st_nucleo_f7.cfg -c '$_TARGETNAME configure -rtos ThreadX'
Connect to gdb server:
arm-none-eabi-gdb -ex 'target extended-remote localhost:3333' Debug/test_netxduo_dhcp_client_stm_ide.elf
#load program
load
# openocd commands
monitor ...